A Method for Testing Model to Text Transformations
نویسندگان
چکیده
Model Transformations are the core of Model Driven Development; hence for generating high quality artifacts we need methods able to assure the quality of model transformations. In this work, we focus on Model to Text Transformations and propose a method, composed by a set of integrated approaches and a series of guidelines, for testing model transformations. We classify the test approaches composing our method relying on the intent on which they are carried out. Moreover, to select input models used to build test cases, we propose a definition of adequacy criteria and coverage.
منابع مشابه
TractsTool: Testing Model Transformations based on Contracts
Model transformations play an important role in Model-Driven Engineering (MDE), and as their size and complexity grow, there is an increasing need to count on tool support for testing their correctness. In this work, we present TractsTool, a tool for specifying and testing several different kinds of model transformations, e.g., model-to-model, model-to-text, and text-to-model transformations, b...
متن کاملTesting M2T Transformations - A Systematic Literature Review
Context: Model-Driven Development (MDD) is about to become a reality in the development of enterprise information systems due to its benefits, such as reduction of development and maintenance costs, and support for controlled evolution. Consequently, testing model transformations, considering their high complexity particularly regarding Model-to-Text (M2T) transformations, plays a key role to i...
متن کاملTesting M2T/T2M Transformations
Testing model-to-model (M2M) transformations is becoming a prominent topic in the current Model-driven Engineering landscape. Current approaches for transformation testing, however, assume having explicit model representations for the input domain and for the output domain of the transformation. This excludes other important transformation kinds, such as model-to-text (M2T) and text-to-model (T...
متن کاملTesting M2M/M2T/T2M Transformations
As Model-Driven Engineering is becoming adopted by industry, models and model transformations (MTs) are extensively used. Hence, there is the urgent need for systematic testing mechanisms and tools to check their correctness. In this work, we make use of a particular case of contracts for model transformations called Tracts. First, Tracts allow the transformation developer to specify and test a...
متن کاملAn Efficient Method to Solve the Mathematical Model of HIV Infection for CD8+ T-Cells
In this paper, the mathematical model of HIV infection for CD8+ T-cells is illustrated. The homotopy analysis method and the Laplace transformations are combined for solving this model. Also, the convergence theorem is proved to demonstrate the abilities of presented method for solving non-linear mathematical models. The numerical results for $N=5, 10$ are presented. Several $hbar$-c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013